<?php


var_dump(0x8000000000000000);
var_dump(01000000000000000000000);
var_dump(0b1000000000000000000000000000000000000000000000000000000000000000);
